step(al,bs,tm(s,[ctxm(xi_,u,ip,ip_al_4,ip_al_4),ctxm(xi_,sp,ip,ip_bs,ip_bs)],pri(lst,[pri(h,[pri(lst,[ctxm(xi_,u,i,i_al,i_al),ctxm(xi_,dot,n,in_xi_n,cn_xi_n)])]),pri(h,[pri(lst,[ctxm(xi_,u,d_5,id_5,cd_5),ctxm(xi_,dot,n_2_1,in_xi_n21,cn_xi_n21)])]),ctxm(xi_,u,d_6,id_6,cd_6),ctxm(xi_,dot,cnd,i_cnd,d_cnd)]))).

